There has been a long history of tension between feminists and feminist philosophy, on the one hand, and logic, on the other hand. This tension expresses itself in many ways, including claims that logic is a tool of the patriarchy, that logic/rationality/analytical tools in philosophy need to be rejected if women are to fully participate, that women = body and man = mind, that to do feminist philosophy one must do it as a situated, embodied person, not as an impersonal, (...) disembodied mind, that logic is “a masculine subject”. However the tension is expressed, it is women in logic and women logicians who are caught in between. The goal of my paper is to explore a conception of logic that not only is not inconsistent with being a feminist, but is actively welcoming of women as logicians. (shrink)

In 1672 John Eliot, English Puritan educator and missionary to New England, published The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof (Eliot 1672) The Logick Primer: Some Logical Notions to Initiate the INDIANS in the Knowledge of the Rule of Reason; and to Know How to Make Use Thereof, Cambridge, MA: Marmaduke Johnson]. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning (...) so that syllogisms can be created from Biblical texts. The use of logic for proselytizing purposes is not distinctive: What is distinctive about Eliot's book is that it is bilingual, written in both English and Massachusett (Wôpanâak), an Algonquian language spoken in eastern coastal and southeastern Massachusetts. It is one of the earliest bilingual logic textbooks and it is the first, and perhaps only, textbook in an indigenous American language.In this paper, we (1) introduce John Eliot and the linguistic context he was working in; (2) introduce the contents of the Logick Primer – vocabulary, inference patterns, and applications; (3) discuss notions of ‘Puritan’ logic that inform this primer; and (4) address the importance of his work in documenting and expanding the Massachusett language and the problems that accompany his colonial approach to this work. (shrink)

In, Kosterec attempts to provide ``model-theoretic proofs'' of certain theses involving the normal modal operators $\Diamond$ and $\square$ and the truth-in-fiction operator $F$ which he then goes on to show have counterexamples in Kripke models. He concludes from this that the embedding of modal logic under the truth-in-fiction operator is unsound. We show instead that it is the ``model-theoretic proofs'' that are themselves unsound, involving illicit substitution, a subtle error that nevertheless allows us to draw an important conclusion about intensional (...) contexts and semantic equivalences. (shrink)

This review article offers a discussion of some aspects of the historical and conceptual context when the term “ontology” (Lat. ontologia) was first introduced in the scholarly circles of the early 17th century. In particular, Barry Smith's (2022) analysis of the birth of ontology provides a springboard for some further remarks on the author of the work with the first known occurrence of the word “ontologia”, Jacob Lorhard, including an analysis of his relationship with earlier philosophers Petrus Ramus and Clemens (...) Timpler. (shrink)